TITLE("The design goals ")
COMPRESSED
120,156,189,86,219,110,219,70,16,253,149,65,154,6,73,35,11,142,208,244,193,121,73,227,228,193,64,211,22,168,141,160,53,140,106,69,14,201,173,150,187,204,94,172,10,134,255,189,103,118,73,153,86,138,230,173,2,108,121,111,51,231,156,185,249,154,158,62,61,93,156,126,115,250,149,207,217,123,110,84,50,241,230,250,238,207,251,111,63,252,124,114,245,27,93,135,211,55,43,186,236,152,106,14,186,181,212,58,101,2,185,134,174,76,212,189,138,188,126,185,126,73,131,81,177,113,190,63,123,118,83,94,148,111,253,234,245,233,155,95,86,88,15,222,221,234,154,73,81,112,38,69,237,44,225,62,121,53,232,154,212,48,24,93,169,188,91,243,45,27,55,244,108,35,41,91,19,171,176,167,94,105,27,241,163,108,197,199,150,107,71,214,69,10,170,242,186,209,21,147,79,22,200,152,6,246,2,73,222,144,182,20,193,1,40,42,14,225,216,68,10,76,231,153,135,10,249,158,81,182,77,170,101,225,89,117,78,127,233,21,82,56,175,109,75,149,179,33,122,193,23,40,112,164,205,30,
176,247,216,238,123,176,217,90,183,51,92,139,37,79,33,130,144,242,117,32,29,72,25,227,118,92,63,214,107,69,23,150,134,228,67,18,211,64,2,96,89,240,5,237,152,162,115,91,112,37,207,189,243,129,151,244,81,60,89,103,215,39,110,144,96,24,218,65,99,179,207,110,109,150,15,212,106,138,92,117,86,127,78,28,168,83,88,58,218,32,18,27,156,59,203,245,2,242,194,78,178,41,36,152,152,226,19,224,210,139,114,209,187,58,85,92,222,101,206,41,80,101,92,96,47,91,170,234,52,98,70,46,249,130,117,121,204,169,192,228,29,52,97,159,5,246,140,200,48,245,186,237,34,53,26,56,175,178,252,16,179,73,65,92,8,246,245,147,52,230,24,40,133,74,249,253,250,201,146,46,26,218,187,132,176,103,77,66,106,91,14,49,111,1,76,84,219,156,99,12,75,53,25,8,246,5,154,31,141,57,112,45,94,7,229,85,173,219,126,100,28,97,15,108,37,61,247,172,0,88,176,40,28,252,149,224,40,118,42,210,250,228,96,66,14,51,54,82,66,197,135,184,160,77,138,212,
129,27,96,115,211,112,21,245,109,78,193,141,139,221,163,4,143,236,251,98,127,150,172,115,196,116,119,247,90,42,83,126,117,175,222,188,125,190,122,245,195,139,92,148,223,173,232,28,65,186,57,59,155,150,191,122,39,203,183,171,177,104,11,185,218,33,234,82,32,146,228,83,6,142,217,110,244,198,3,249,100,99,122,114,46,177,121,254,239,119,145,124,168,245,138,5,254,11,201,227,62,85,29,245,242,162,49,252,183,222,24,94,72,205,234,146,28,226,52,203,103,2,50,101,227,32,204,138,164,58,3,53,10,50,251,3,217,139,40,214,102,0,118,34,116,143,120,78,187,13,179,1,12,4,184,119,53,123,11,217,189,70,222,35,91,166,122,93,30,83,121,196,222,170,28,8,212,72,203,49,60,92,61,239,84,207,134,81,174,108,91,109,25,95,10,60,74,43,144,135,232,2,83,131,203,57,181,126,150,177,236,58,109,120,164,38,213,44,72,130,238,7,217,156,117,180,176,213,214,226,236,64,181,64,43,48,50,23,35,212,111,217,207,211,165,136,247,223,132,254,151,112,126,37,126,199,
222,116,129,135,170,77,30,85,52,233,246,112,237,19,27,179,40,209,5,199,160,246,203,92,146,211,69,60,103,188,83,217,139,220,40,150,150,244,59,42,188,82,136,145,150,6,66,59,165,227,216,84,189,168,33,226,99,7,141,79,30,117,108,6,40,140,114,203,207,229,112,236,253,135,40,188,195,60,195,76,91,60,224,46,189,210,77,21,154,123,56,251,74,163,202,63,161,71,185,93,152,199,53,204,58,132,120,69,79,208,83,194,194,216,231,164,35,143,224,165,53,24,20,5,0,219,210,64,38,182,51,249,132,95,167,14,145,151,153,123,241,254,131,76,164,121,199,96,123,171,189,179,242,247,177,164,210,2,61,35,19,247,211,76,28,205,149,134,116,0,23,59,200,49,70,186,84,42,46,112,165,102,78,199,105,29,208,26,171,173,204,193,154,7,182,53,219,74,102,177,197,142,0,56,170,221,49,71,76,102,0,237,6,169,142,52,200,234,251,71,57,35,18,216,109,144,131,119,63,93,92,254,1,120,218,204,166,84,105,136,19,4,161,149,35,105,212,94,242,79,14,49,20,218,233,63,
18,140,148,153,138,151,93,30,90,37,9,63,170,10,3,98,24,156,127,36,86,110,230,59,231,183,146,22,136,136,142,75,124,110,238,239,11,159,113,82,208,205,63,198,191,38,231,

